Inverse subsemigroups of the monogenic free inverse semigroup
نویسندگان
چکیده
It is shown that every finitely generated inverse subsemigroup (submonoid) of the monogenic free inverse semigroup (monoid) is finitely presented. As a consequence, the homomorphism and the isomorphism problems for the monogenic free inverse semigroup (monoid) are proved to be decidable.
منابع مشابه
On inverse subsemigroups of the semigroup of orientation-preserving or orientation-reversing transformations
It is well-known [16] that the semigroup Tn of all total transformations of a given n-element set Xn is covered by its inverse subsemigroups. This note provides a short and direct proof, based on properties of digraphs of transformations, that every inverse subsemigroup of order-preserving transformations on a finite chain Xn is a semilattice of idempotents, and so the semigroup of all order-pr...
متن کاملOn classification of maximal nilpotent subsemigroups
We develop a general approach to the study of maximal nilpotent subsemigroups of finite semigroups. This approach can be used to recover many known classifications of maximal nilpotent subsemigroups, in particular, for the symmetric inverse semigroup, the symmetric semigroup, and the factor power of the symmetric group. We also apply this approach to obtain a classification of maximal nilpotent...
متن کاملFinite Presentability of HNN Extensions of Inverse Semigroups
HNN extensions of inverse semigroups, where the associated inverse subsemigroups are order ideals of the base, are defined by means of a construction based upon the isomorphism between the categories of inverse semigroups and inductive groupoids. The resulting HNN extension may conveniently be described by an inverse semigroup presentation, and we determine when an HNN extension with finitely g...
متن کاملOn the structure of two generalizations of the full inverse symmetric semigroup
We introduce two generalizations of the full inverse symmetric semigroup ISX — the inverse semigroups PIPX and P̃IPX . Both of these semigroups have the same set of elements and contain ISX . The binary operations on PIPX and P̃IPX are two natural generalizations of the multiplication of partial permutations and each of the considered operations coincides with this multiplication when restricted ...
متن کاملOn a groupoid construction for actions of certain inverse semigroups
We consider a version of the notion of F -inverse semigroup (studied in the algebraic theory of inverse semigroups). We point out that an action of such an inverse semigroup on a locally compact space has associated a natural groupoid construction, very similar to the one of a transformation group. We discuss examples related to Toeplitz algebras on subsemigroups of discrete groups, to Cuntz-Kr...
متن کامل